<HTML><HEAD><TITLE>EplexInstance:integers(?Vars)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(eplex)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>EplexInstance:integers(?Vars)</H1>
Constrains Vars to integers for eplex instance EplexInstance.
<DL>
<DT><EM>Vars</EM></DT>
<DD>Variable or number, or a list or submatrix of variables/numbers
</DD>
</DL>
<H2>Description</H2>
<P>	Constrains list Vars to integers in the eplex instance
        EplexInstance. If a variable in Vars is not already a problem
        variable for EplexInstance, it will be added as a new problem
        variable. The external solver will then take the integrality into
        account, i.e. to solve a MIP/MIQP rather than a relaxed LP/QP
        problem.  Unlike integers/1 constraints from other solvers, the
        variables are not constrained to be integer type at the ECLiPSe
        level. However, when a typed_solution is retrieved (e.g. via
        eplex_var_get/3), this will be rounded to the nearest integer.
	<P>
	Note that even when problem variables have been declared as
        integers in other solvers (ic or other external solver
        states), if the integrality constraint is not made known to this
        EplexInstance, any invocation of the eplex external solver (e.g. via
        eplex_solve/1) will only solve a continuous relaxation.
	<P>
	
<H2>See Also</H2>
<A HREF="../../lib/suspend/integers-1.html">suspend : integers / 1</A>, <A HREF="../../lib/fd/integers-1.html">fd : integers / 1</A>, <A HREF="../../lib/bfs/integers-1.html">bfs : integers / 1</A>, <A HREF="../../lib/ic_kernel/index.html">ic_kernel : integers / 1</A>, <A HREF="../../lib/ic/integers-1.html">ic : integers / 1</A>, <A HREF="../../lib/eplex/reals-1.html">reals / 1</A>, <A HREF="../../lib/eplex/NN-2.html">:: / 2</A>
</BODY></HTML>
